//
//$Id: app.h 695 2011-04-07 19:15:27Z andrew.tsyganov $
#pragma once

#include "fa.h"
#include "min_kw.h"
#include "min_com.h"

using namespace kw;
using namespace com;

namespace app
{
class App
{
public:
protected:
	int canonize(int argc, char* argv[]) const;
	int codeterminize(int argc, char* argv[]) const;
	int determinize(int argc, char* argv[]) const;
	int equivalent(int argc, char* argv[]) const;
	int export_(int argc, char* argv[]) const;
	int generate(int argc, char* argv[]) const;
	int isomorphic(int argc, char* argv[]) const;
	int re2fa(int argc, char* argv[]) const;
	int reverse(int argc, char* argv[]) const;
};

}
//EOF!
